401. Cognitive reasoning
Author: / Oleg M. Anshakov, Tamas Gergely
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Reasoning,Cognitive science
Classification :
QA9
.
A57
2010
402. Cognitive reasoning: a formal approach
Author: / Oleg M. Anshakov, Tamas Gergely
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical,Reasoning,Cognitive science
Classification :
511
.
3
A618C
2010
403. Cognitive reasoning : a formal approach
Author: Anshakov, Oleg M.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Reasoning,، Cognitive science
Classification :
QA
9
.
A57C6
404. Coherent systems
Author: / Karl Schlechta
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
Classification :
Q339
.
2
.
S35
2004
405. Coherent systems
Author: / Karl Schlechta
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
Classification :
Q339
.
2
.
S35
2004
406. Collected Works
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and Mathematical. ;
407. Collected logical works
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical,Cognition
Classification :
164
Bo-C
408. Collected works /
Author: Stanisław Leśniewski ; edited by Stanisław J. Surma, Jan T. Srzednicki, and D.I. Barnett ; with an annotated bibliography by V. Frederick Rickey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
B4691
.
L442
E5
1991
409. Collected works
Author: Lesniewski, Stanislaw
Library: (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
B
4691
.
L442
E5
1991
410. Collected works
Author: Kurt Godel
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Logic, symbolic and mathematical
411. Collected works
Author: Gغodel, Kurt.
Library: Library of Mofid University (Qom)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA9
.
G5313
1986
412. Collected works
Author: Godel, Kurt Friedrich, 6091-8791
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Collected works ، Logic, Symbolic and mathematical
Classification :
QA
9
.
G5313
413. Collected works
Author: Penrose, Roger
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematical physics,، Logic, Symbolic and mathematical,، Physics - Philosophy
Classification :
QC
19
.
3
.
P46
2011
414. Collected works, Selections. English. 1991
Author: Lesniewski, Stanislaw
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
B
4691
.
L442
.
E5
1991
415. Collected works, Works. English & German. 5891
Author: Godel, Kurt
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
G5313
1986
416. Collegium Logicum: annals of the Kurt-Godel-Society
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
9
.
A1
C58
417. Collegium logicum : annals of the Kurt-Godel society
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Periodicals ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C64
418. Combinatorial Set Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Mathematical Logic and Foundations. ;
419. Combinatorics, complexity, and logic: proceedings of DMTCS'96
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
164
.
D62
1997
420. Combinatorics, complexity, & logic : proceedings of DMTCS'96
Author: D.S. Bridges...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
164
.
D6
1996
